اثبات قضیه بازتابی بروون - چورو

پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان
نویسنده حسین برزگران
استاد راهنما حسین محبی
تعداد صفحات: ۱۵ صفحه ی اول
سال انتشار 1377

چکیده

در این پایان نامه اثبات کاملی از قضیه بازتابی پروون - چورو ارائه می شود.

۱۵ صفحه ی اول

برای دانلود 15 صفحه اول باید عضویت طلایی داشته باشید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

اثبات جدیدی از قضیه مورلی

قضیه مورلی حاکی است که نقاط برخورد خطوط مجاور اضلاع تثلیث کننده سه زاویه داخلی هر مثلث تشکیل یک مثلث متساوی الاضلاع می دهند. این مساله ابتدا در سال 1899 توسط فرانک مورلی مطرح گردید و تاکنون اثباتهای متعددی برای آن ارائه شده است. در این مقاله راه حل زیبایی که توسط آلن کن برنده مدال فیلدز در سال1998 ارائه شده است، تشریح می گردد.

متن کامل

اثبات جدیدی از قضیه مورلی

متن کامل

اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

متن کامل

درباره اثبات وایلز از قضیه آخر فرما

قضیه ی آخر فرما بیان می دارد که معادله ی x?+y?=z?, برای 3?n دارای جواب صحیح (xyz?0) نمی باشد. فرما (pierre de fermat) در حوالی سال 1637ادعا کرد که اثباتی جالب برای این قضیه ارائه کرده است که در حاشیه ی کتاب نمی گنجد. البته تنها اثبات کامل ریاضی که از او در دسترس است حل این معادله برای حالت 4=n می باشد که وی در آن از ایده ی نزول نامتناهی (infinite descent ) که هم اکنون نیز یکی از ابزارهای قوی ...

15 صفحه اول

مروری بر اثبات های مختلف از قضیه بورسوک-اولام

قضیه بورسوک -اولام به دلیل داشتن اثبات های مختلف، کاربردهای جالب و متنوع و قضیه های هم ارز با آن یکی از مهمترین ابزار توپولوژی جبری است که در کلی ترین فرم خود می گوید که هر تابع پیوسته ‎$f:mathbb{s}^nlongrightarrowmathbb{r}^n$‎ لااقل دو نقطه متقاطر را به یک مقدار می نگارد. و در حالت پیشرفته تر آن بیان می کند هر نگاشت فرد از ‎$mathbb{s}^{n-1}longrightarrow mathbb{s}^{n-1}$‎ درجه فرد دار...

15 صفحه اول

قضیه نقطه ثابت براوئر: روش های اثبات و تعمیم ها

قضیه ی نقطه ثابت براوئر بیان می کند که هر خود نگاشت پیوسته ی fروی زیرمجموعه ی فشرده و محدب xاز فضای اقلیدسی متناهی البعد e باید دارای حداقل یک نقطه ی ثابت باشد. در این پایان نامه با متمرکز شدن روی قضیه ی نقطه ثابت براوئر، تعدادی از نتایج اصلی در نظریه ی نقطه ثابت توپولوژیک را ارائه می دهیم. در فصل اول تعدادی از مفاهیم مقدماتی که در ادامه به آن احتیاج خواهیم داشت بیان می کنیم. در فصل دوم اثبات ه...

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}

نوع سند: پایان نامه

وزارت علوم، تحقیقات و فناوری - دانشگاه شهید باهنر کرمان

کلمات کلیدی

بازتاب عملگر انقباض

میزبانی شده توسط پلتفرم ابری doprax.com